[INFO] fetching crate bddminisat-sys 0.1.0...
[INFO] testing bddminisat-sys-0.1.0 against try#b8e88e5ddf5521a9f43ee3f62a702388c713e4bb for pr-155114
[INFO] extracting crate bddminisat-sys 0.1.0 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate bddminisat-sys 0.1.0
[INFO] finished tweaking crates.io crate bddminisat-sys 0.1.0
[INFO] tweaked toml for crates.io crate bddminisat-sys 0.1.0 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate bddminisat-sys 0.1.0 on toolchain b8e88e5ddf5521a9f43ee3f62a702388c713e4bb
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate bddminisat-sys 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 553f745f0bbd4701edb020016379e3e82435b5af5f48953e24e90a07e7998459
[INFO] running `Command { std: "docker" "start" "-a" "553f745f0bbd4701edb020016379e3e82435b5af5f48953e24e90a07e7998459", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "553f745f0bbd4701edb020016379e3e82435b5af5f48953e24e90a07e7998459", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "553f745f0bbd4701edb020016379e3e82435b5af5f48953e24e90a07e7998459", kill_on_drop: false }`
[INFO] [stdout] 553f745f0bbd4701edb020016379e3e82435b5af5f48953e24e90a07e7998459
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 220752c435b7a33a2b99a6fe388bdeac1a09bfe0fa819156892a23b19497f52d
[INFO] running `Command { std: "docker" "start" "-a" "220752c435b7a33a2b99a6fe388bdeac1a09bfe0fa819156892a23b19497f52d", kill_on_drop: false }`
[INFO] [stderr]    Compiling find-msvc-tools v0.1.5
[INFO] [stderr]    Compiling cc v1.2.49
[INFO] [stderr]    Compiling bddminisat-sys v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    49 | static inline void check(int expr) { assert(expr); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                          ~~~~^~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   102 | static inline float clause_activity   (clause* c)          { return *((float*)&c->lits[c->size_learnt>>1]); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                                      ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   103 | static inline void  clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   287 |     printf("\t%ju", s->stats.conflicts);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   288 |     printf("\t%ju", s->stats.propagations);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                   ~~~~~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                              ~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   473 |         *((float*)&c->lits[size]) = 0.0;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |          ~^~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1678 | }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       | ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1764 |             lit p = solver_backtrack(s,solver_dlevel(s));
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1810 |                     lit p = solver_backtrack(s, highest);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                         ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1866 |     int*    sublevels       = s->sublevels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1865 |     int*    levels          = s->levels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                       ~~~~^~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2421 |     lit*    i;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2420 |     lbool*  values        = s->assigns;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                ~~~~~^~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                            ~~~~~^~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level:
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   819 | static void solver_refreshobdd(solver *s)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   179 | static void solver_printgencls(solver *s) // for debug
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   155 | static void solver_printtrail(solver *s){
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    51 | static void printlits(lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    67 |     for (int i = 0; i < fn_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    77 |     for (int i = 0; i < vecs_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    97 |         for (int i = 0; i < fn_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   109 |         for (int i = 0; i < vecs_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.80s
[INFO] running `Command { std: "docker" "inspect" "220752c435b7a33a2b99a6fe388bdeac1a09bfe0fa819156892a23b19497f52d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "220752c435b7a33a2b99a6fe388bdeac1a09bfe0fa819156892a23b19497f52d", kill_on_drop: false }`
[INFO] [stdout] 220752c435b7a33a2b99a6fe388bdeac1a09bfe0fa819156892a23b19497f52d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bbb1c1e36aec873b05e062eaf68ddb3c54fe3e29d47f1d10556275ab539917f9
[INFO] running `Command { std: "docker" "start" "-a" "bbb1c1e36aec873b05e062eaf68ddb3c54fe3e29d47f1d10556275ab539917f9", kill_on_drop: false }`
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    49 | static inline void check(int expr) { assert(expr); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                          ~~~~^~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   102 | static inline float clause_activity   (clause* c)          { return *((float*)&c->lits[c->size_learnt>>1]); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                                      ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   103 | static inline void  clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   287 |     printf("\t%ju", s->stats.conflicts);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   288 |     printf("\t%ju", s->stats.propagations);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                   ~~~~~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                              ~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   473 |         *((float*)&c->lits[size]) = 0.0;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |          ~^~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1678 | }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       | ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1764 |             lit p = solver_backtrack(s,solver_dlevel(s));
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1810 |                     lit p = solver_backtrack(s, highest);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                         ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1866 |     int*    sublevels       = s->sublevels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1865 |     int*    levels          = s->levels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                       ~~~~^~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2421 |     lit*    i;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2420 |     lbool*  values        = s->assigns;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                ~~~~~^~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                            ~~~~~^~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level:
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   819 | static void solver_refreshobdd(solver *s)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   179 | static void solver_printgencls(solver *s) // for debug
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   155 | static void solver_printtrail(solver *s){
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    51 | static void printlits(lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    67 |     for (int i = 0; i < fn_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    77 |     for (int i = 0; i < vecs_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    97 |         for (int i = 0; i < fn_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   109 |         for (int i = 0; i < vecs_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr]    Compiling bddminisat-sys v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s
[INFO] running `Command { std: "docker" "inspect" "bbb1c1e36aec873b05e062eaf68ddb3c54fe3e29d47f1d10556275ab539917f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bbb1c1e36aec873b05e062eaf68ddb3c54fe3e29d47f1d10556275ab539917f9", kill_on_drop: false }`
[INFO] [stdout] bbb1c1e36aec873b05e062eaf68ddb3c54fe3e29d47f1d10556275ab539917f9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 346b85fc6a977993a8db34be6459d1f6b6f9ca8275d28ac8c8dd65c599bdea7f
[INFO] running `Command { std: "docker" "start" "-a" "346b85fc6a977993a8db34be6459d1f6b6f9ca8275d28ac8c8dd65c599bdea7f", kill_on_drop: false }`
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    49 | static inline void check(int expr) { assert(expr); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                          ~~~~^~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   102 | static inline float clause_activity   (clause* c)          { return *((float*)&c->lits[c->size_learnt>>1]); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                                      ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   103 | static inline void  clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   287 |     printf("\t%ju", s->stats.conflicts);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   288 |     printf("\t%ju", s->stats.propagations);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                   ~~~~~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                              ~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   473 |         *((float*)&c->lits[size]) = 0.0;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |          ~^~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1678 | }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       | ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1764 |             lit p = solver_backtrack(s,solver_dlevel(s));
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1810 |                     lit p = solver_backtrack(s, highest);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                         ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1866 |     int*    sublevels       = s->sublevels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1865 |     int*    levels          = s->levels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                       ~~~~^~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2421 |     lit*    i;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2420 |     lbool*  values        = s->assigns;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                ~~~~~^~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                            ~~~~~^~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level:
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   819 | static void solver_refreshobdd(solver *s)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   179 | static void solver_printgencls(solver *s) // for debug
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   155 | static void solver_printtrail(solver *s){
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    51 | static void printlits(lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    67 |     for (int i = 0; i < fn_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    77 |     for (int i = 0; i < vecs_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    97 |         for (int i = 0; i < fn_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   109 |         for (int i = 0; i < vecs_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/bddminisat_sys-8c5ea3c603a5589f)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::test_literal_operations ... ok
[INFO] [stdout] test tests::test_simple_sat ... ok
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/bddminisat_sys-8c5ea3c603a5589f` (signal: 11, SIGSEGV: invalid memory reference)
[INFO] running `Command { std: "docker" "inspect" "346b85fc6a977993a8db34be6459d1f6b6f9ca8275d28ac8c8dd65c599bdea7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "346b85fc6a977993a8db34be6459d1f6b6f9ca8275d28ac8c8dd65c599bdea7f", kill_on_drop: false }`
[INFO] [stdout] 346b85fc6a977993a8db34be6459d1f6b6f9ca8275d28ac8c8dd65c599bdea7f
